Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
221	A Principled Design Methodology for Minimalist Multi-Robot System Controllers by Christopher Vernon Jones Add to Reading List Source URL: cres.usc.edu Language: English - Date: 2006-01-02 09:14:46 Control theory Science Automata theory Finite-state machine Robot
222	software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:44:24 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton State diagram State transition table State transition system Models of computation Theory of computation Automata theory
223	PAPER ID = 257 — Submitted to the IEEE International Conference on Web ServicesConstructing Finite State Automata for High Performance Web Services Robert A. van Engelen∗ Department of Computer Science and Sc Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2004-03-10 11:42:55 Markup languages Computer file formats Technical communication Expat Web Services Description Language VTD-XML XML Schema Language comparison Computing Web standards XML
224	Honors Class (Foundations of) Informatics Tom Verhoeff Department of Mathematics & Computer Science Software Engineering & Technology www.win.tue.nl/~wstomv/edu/hci Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-10-17 18:08:03 Theoretical computer science Computer science Finite-state machine Turing machine Pushdown automaton Deterministic finite automaton Nondeterministic finite automaton State Read-only Turing machine Models of computation Theory of computation Automata theory
225	Reasoning about XML with Temporal Logics and Automata Leonid Libkin Cristina Sirangelo University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-09-16 09:06:42 OSI protocols Tree automaton Tree XPath XML Nondeterministic finite automaton Binary tree Automata theory Computing Theory of computation
226	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science
227	Chennai Mathematical Institute MSc/PhD Computer Science Topics covered in entrance examination • Discrete Mathematics Sets and relations, elementary counting techiniques, pigeon hole principle, partial orders, • Elem Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2010-03-23 06:34:16 Mathematical logic Combinatorial optimization Matching Automata theory Finite-state machine Algorithm Discrete mathematics Graph theory Computational complexity theory Mathematics Theoretical computer science Applied mathematics
228	Automata theory for XML researchers∗ Frank Neven University of Limburg 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:40 Mathematics Tree automaton Nondeterministic finite automaton Deterministic finite automaton Symbol Finite-state machine Tree Regular language Formal language Automata theory Theoretical computer science Computer science
229	PII: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:37:08 Formal methods Muller automaton Deterministic automaton Nondeterministic finite automaton Finite-state machine Alphabet Petri net Ω-automaton Automata theory Theoretical computer science Computer science
230	Regular Functions Rajeev Alur University of Pennsylvania 1 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-13 10:13:47 Theoretical computer science Mathematics Combinatorics on words Models of computation Finite state transducer Finite-state machine Regular expression Regular language String Formal languages Automata theory Combinatorics

UPDATE